在非空( )中，左子树中结点的关键字都小于根结点的关键字，右子树中的关键字均大于根结点的关键字，且左、右子树也满足该要求。